solving a difficult sudoku